Results for 'Sacha de Rijk'

951 found
Order:
  1. Nouveaux développements dans le district hydrographique de la Meuse; L'eau potable dans le plan de.Sacha de Rijk, Gerard van den Berg & Leo Puijker - 2006 - Substance 2007:2008.
     
    Export citation  
     
    Bookmark  
  2.  53
    Gerald Odonis, Doctor Moralis and Franciscan minister general: studies in honour of L.M. de Rijk.Lambertus Marie de Rijk, William Duba & Christopher David Schabel (eds.) - 2009 - Boston: Brill.
    Building on the recent scholarship of Bonnie Kent, Christian Trottmann, and especially L.M. de Rijk, this volume gathers together studies by other specialists on Odonis, covering his ideas in economics, logic, metaphysics, ethics, natural ...
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  9
    Scepticisme en criticisme in de antieke en middeleeuwse wijsbegeerte.Lambertus Marie de Rijk - 1970 - Assen,: Van Gorcum.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4. Logica Morelli. Some notes on the semantics of a fifteenth century spanish logic.L. M. de Rijk - 2000 - In I. Angelelli & P. Pérez-Ilzarbe, Medieval and Renaissance Logic in Spain. G. Olms. pp. 209.
     
    Export citation  
     
    Bookmark  
  5.  8
    The place of the categories of being in Aristotle's philosophy.Lambertus Marie de Rijk - 1952 - Assen,: Van Gorcum.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  9
    La Philosophie au Moyen 'Ge.Lambertus Marie de Rijk - 1985 - Leiden: Brill.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  7. The modal logic of inequality.Maarten de Rijke - 1992 - Journal of Symbolic Logic 57 (2):566-584.
    We consider some modal languages with a modal operator $D$ whose semantics is based on the relation of inequality. Basic logical properties such as definability, expressive power and completeness are studied. Also, some connections with a number of other recent proposals to extend the standard modal language are pointed at.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   41 citations  
  8.  14
    Advances in Intensional Logic.Maarten de Rijke (ed.) - 1997 - Dordrecht, Netherland: Kluwer Academic Publishers.
    Intensional logic has emerged, since the 1960' s, as a powerful theoretical and practical tool in such diverse disciplines as computer science, artificial intelligence, linguistics, philosophy and even the foundations of mathematics. The present volume is a collection of carefully chosen papers, giving the reader a taste of the frontline state of research in intensional logics today. Most papers are representative of new ideas and/or new research themes. The collection would benefit the researcher as well as the student. This book (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  94
    Peter Abelard's Semantics and His Doctrine of Being.L. M. De Rijk - 1986 - Vivarium 24 (2):85-127.
  10. A system of dynamic modal logic.Maarten de Rijke - 1998 - Journal of Philosophical Logic 27 (2):109-142.
    In many logics dealing with information one needs to make statements not only about cognitive states, but also about transitions between them. In this paper we analyze a dynamic modal logic that has been designed with this purpose in mind. On top of an abstract information ordering on states it has instructions to move forward or backward along this ordering, to states where a certain assertion holds or fails, while it also allows combinations of such instructions by means of operations (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  11.  51
    The winged chariot: collected essays on Plato and platonism in honour of L.M. de Rijk.Lambertus Marie De Rijk, María Kardaun & Joke Spruyt (eds.) - 2000 - Boston: Brill.
    The strong connection between the two and its development into the Middle Ages form a major subject of this volume.Other themes featuring in this book are Plato ...
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  33
    Euthanasia in human beings versus companion animals.Shené Jheanne de Rijk - 2024 - South African Journal of Philosophy 43 (1):57-69.
    This article argues in favour of voluntary active euthanasia in human beings on the grounds that we (society in general) perform euthanasia on valued companion animals when their suffering is considered great. I argue that suffering is a morally relevant criterion that should be considered in all cases (human and animal) of euthanasia. I further argue that human beings possess autonomy, a morally relevant difference to companion animals, that allows them to reason about their futures in a way that animals (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13. Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras.Maarten de Rijke & Yde Venema - 1995 - Studia Logica 54 (1):61-78.
    For an arbitrary similarity type of Boolean Algebras with Operators we define a class ofSahlqvist identities. Sahlqvist identities have two important properties. First, a Sahlqvist identity is valid in a complex algebra if and only if the underlying relational atom structure satisfies a first-order condition which can be effectively read off from the syntactic form of the identity. Second, and as a consequence of the first property, Sahlqvist identities arecanonical, that is, their validity is preserved under taking canonical embedding algebras. (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  14.  50
    Unary interpretability logic.Maarten de Rijke - 1992 - Notre Dame Journal of Formal Logic 33 (2):249-272.
  15. Modal Logic: Graph. Darst.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - New York: Cambridge University Press. Edited by Maarten de Rijke & Yde Venema.
    This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   295 citations  
  16.  35
    Gerardus Odonis O.F.M. on the Principle of Non-Contradiction and the Proper Nature of Demonstration.L. M. de Rijk - 1994 - Franciscan Studies 54 (1):51-67.
  17. A note on graded modal logic.Maarten de Rijke - 2000 - Studia Logica 64 (2):271-283.
    We introduce a notion of bisimulation for graded modal logic. Using this notion, the model theory of graded modal logic can be developed in a uniform manner. We illustrate this by establishing the finite model property and proving invariance and definability results.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  18.  60
    Walther Burley's de exceptivis. An edition.L. M. De Rijk - 1986 - Vivarium 24 (1):22-49.
  19.  77
    Burley's So-called Tractatus Primus, with an Edition of the Additional Quaestio “Utrum contradictio sit maxima oppositio”.de Rijk - 1996 - Vivarium 34 (2):161-191.
  20. Rolf Socher-Ambrosius and Patricia Johann, Deduction Systems.M. De Rijke - 1999 - Journal of Logic Language and Information 8:476-478.
  21. Special issue on combining logics, volume 37 (2) of.M. de Rijke & P. Blackburn - forthcoming - Notre Dame Journal of Formal Logic.
  22. Some notes on the mediaeval tract de insolubilibus, with the edition of a tract dating from the end of the twelfth century.L. M. De Rijk - 1966 - Vivarium 4 (1):83-115.
  23.  77
    The logic of Peirce algebras.Maarten De Rijke - 1995 - Journal of Logic, Language and Information 4 (3):227-250.
    Peirce algebras combine sets, relations and various operations linking the two in a unifying setting. This paper offers a modal perspective on Peirce algebras. Using modal logic a characterization of the full Peirce algebras is given, as well as a finite axiomatization of their equational theory that uses so-called unorthodox derivation rules. In addition, the expressive power of Peirce algebras is analyzed through their connection with first-order logic, and the fragment of first-order logic corresponding to Peirce algebras is described in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  24. A modal logic for updating and contracting [Abstract].M. de Rijke - 1993 - Journal of Symbolic Logic 58 (3):1145.
  25.  28
    Deduction systems, Rolf Socher-ambrosius and Patricia Johann.Maarten de Rijke - 1999 - Journal of Logic, Language and Information 8 (4):476-478.
  26.  83
    Martin M. Tweedale on abailard. Some criticisms of a fascinating venture.L. M. De Rijk - 1985 - Vivarium 23 (2):81-97.
  27.  46
    On Ancient and Mediaeval Semantics and Metaphysics.L. M. De Rijk - 1982 - Vivarium 20 (1):97-127.
  28.  8
    Dialectica. Garland & Lambertus Marie de Rijk - 1959 - Assen [Netherlands]: H.J. Prakke & H.M.G. Prakke. Edited by Lambertus Marie de Rijk.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  83
    On the chronology of Boethius' works on logic II.L. M. De Rijk - 1964 - Vivarium 2 (1):125-161.
  30. On ancient and mediaeval semantics and metaphysics (6).L. M. De Rijk - 1977 - Vivarium 20 (1):97-127.
  31. Richard Billingham's Works on Logic.L. M. De Rijk - 1976 - Vivarium 14 (2):121-138.
  32. On ancient and mediaeval semantics and metaphysics (3).L. M. De Rijk - 1977 - Vivarium 18 (1):1-62.
  33.  44
    Aristotle: semantics and ontology.Lambertus Marie de Rijk - 2002 - Boston, MA: Brill.
    v. 1. General introduction, the works on logic -- v. 2. The metaphysics, semantics in Aristotle's strategy of argument.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  34. (2 other versions)Some thirteenth century tracts on the game of obligation.L. M. De Rijk - 1974 - Vivarium 12 (2):94-123.
  35. Some notes on the twelfth century topic of the three (four) human evils and of science, virtue, and techniques as their remedies.L. M. De Rijk - 1967 - Vivarium 5 (1):8-15.
  36. On Buridan's view of accidental being.L. M. de Rijk - 1993 - In Egbert P. Bos & H. A. Krop, John Buridan, a master of arts: some aspects of his philosophy: acts of the second symposium organized by the Dutch Society for Medieval Philosophy Medium Aevum on the occasion of its 15th anniversary, Leiden-Amsterdam (Vrije Universiteit), 20-21 June, 19. Nijmegen: Ingenium Publishers.
     
    Export citation  
     
    Bookmark  
  37.  62
    Two short questions on proclean metaphysics in Paris B. N. lat. 16.096.L. M. De Rijk - 1991 - Vivarium 29 (1):1-12.
  38.  32
    Plato's Sophist: a philosophical commentary.Lambertus Marie de Rijk - 1986 - Amsterdam: North Holland Pub. Co..
    Paperback. This volume is a new interpretation of Plato's earlier and later Theory of Ideas, starting from a detailed analysis of the dialogue, The Sophist.The way in which Plato announces his novel Metaphysics has been puzzling scholars for a long time. Did Plato really introduce Change into the Transcendent World and thus abandon his Theory of Unchangeable Forms?Many of Plato's commentators have claimed that the use of modern techniques of logico-semantical analysis can be a valuable aid in unravelling this problem, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  39. Modal model theory.Maarten De Rijke - forthcoming - Annals of Pure and Applied Logic.
  40.  17
    Abelard Als exponent Van het wijsgerig leven in de twaalfde eeuw.L. M. de Rijk - 1961 - Bijdragen 22 (4):440-449.
  41.  58
    Handbook of tableau methods, Marcello D'Agostino, Dov M. Gabbay, Reiner hähnle, and Joachim posegga, eds.Maarten de Rijke - 2001 - Journal of Logic, Language and Information 10 (4):518-523.
  42.  20
    Mediaeval semantics and metaphysics: studies dedicated to L. M. de Rijk, Ph.D., professor of ancient and mediaeval philosophy at the University of Leiden on the occasion of his 60th birthday.Lambertus Marie de Rijk & Egbert P. Bos (eds.) - 1985 - Nijmegen [Netherlands]: Ingenium.
  43.  23
    Logica modernorum.Lambertus Marie de Rijk - 1962 - Assen,: Van Gorcum.
  44.  13
    (1 other version)Dialectica.Peter Abelard, Lambertus Marie de Rijk & Bibliothèque Nationale - 1956 - Assen,: Van Gorcum. Edited by Lambertus Marie de Rijk.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  45. In memoriam Cornelia Johanna de Vogel.L. M. De Rijk - 1987 - Vivarium 25 (1):1-2.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  46.  15
    Advances in Modal Logic, Volume 1: Papers From the First Aiml Conference, Held at the Free University of Berlin, 1996.Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.) - 1998 - Cambridge, England: Cambridge University Press.
    Modal logic originated in philosophy as the logic of necessity and possibility. Now it has reached a high level of mathematical sophistication and has many applications in a variety of disciplines, including theoretical and applied computer science, artificial intelligence, the foundations of mathematics, and natural language syntax and semantics. This volume represents the proceedings of the first international workshop on Advances in Modal Logic, held in Berlin, Germany, October 8-10, 1996. It offers an up-to-date perspective on the field, with contributions (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  96
    Some new evidence on twelfth century logic.L. M. De Rijk - 1966 - Vivarium 4 (1):1-57.
    IT is well known that the art of logic (logica or diale(c)tica) knew a remarkable flourishing period during the twelfth century. In the first half of the century its main centres in Paris were: the School of Notre DameI, of St. Victor2, of the Petit Pont3 and of Mont Ste Geneviève4. The present paper aims to offer some new evidence from the manuscripts on the teaching of logic as given in the School of Mont Ste.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  48.  20
    Data-driven type checking in open domain question answering.Stefan Schlobach, David Ahn, Maarten de Rijke & Valentin Jijkoun - 2007 - Journal of Applied Logic 5 (1):121-143.
  49. Une grammaire [s, f]«context-free» pour la generation mecanique Des noms Des nombres francais.Rpg de Rijk - 1968 - In P. Braffort & F. van Scheepen, Automation in language translation and theorem proving. Brussels,: Commission of the European Communities, Directorate-General for Dissemination of Information.
    No categories
     
    Export citation  
     
    Bookmark  
  50. From Description to Hybrid Logics, and Back.Carlos Areces & Maarten de Rijke - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev, Advances in Modal Logic. CSLI Publications. pp. 17-36.
    No categories
     
    Export citation  
     
    Bookmark  
1 — 50 / 951